@Override
public void visit(PositiveOp that) {
super.visit(that);
if(Util.isUnBoxed(that.getTerm()))
that.setAttribute(BoxingDeclarationVisitor.IS_UNBOXED, true);
}
@Override
@Override
public void visit(PositiveOp that) {
super.visit(that);
propagateFromTerm(that, that.getTerm());
}
@Override